Jumping Aspects Revisited

In this paper, we propose an extension of the JAsCo aspectoriented programming language for declaratively specifying a protocol fragment pointcut. The proposed pointcut language is equivalent to a finite state machine. Advices are attached to every transition specified in the pointcut protocol. We claim that stateful aspects benefit from run-time weaving and therefore introduce the JAsCo run-time weaver. When employing this run-time weaver, a stateful aspect is only woven at the join points it is currently interested in. When a state-change occurs, it is rewoven to the new target join points. Hence, a real jumping aspect is realized, that literally jumps from join point(s) to join point(s).